51![KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009 KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009](https://www.pdfsearch.io/img/e18d78893f0a1f258603697acb1964dc.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-08 07:04:46
|
---|
52![Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.](https://www.pdfsearch.io/img/56243da22f1e58076080dbbb94255881.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-03-08 07:04:45
|
---|
53![OpenStack networking for humans: symbolic execution to the rescue Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu University Politehnica of Bucharest Email: OpenStack networking for humans: symbolic execution to the rescue Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu University Politehnica of Bucharest Email:](https://www.pdfsearch.io/img/1660c8dbd28a63ed1ae428bb151501c1.jpg) | Add to Reading ListSource URL: nets.cs.pub.roLanguage: English - Date: 2016-05-10 04:52:03
|
---|
54![Parallelizing userdefined aggregations using symbolic execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz Parallelizing userdefined aggregations using symbolic execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz](https://www.pdfsearch.io/img/74eb2bfc74e1879cc9beb47d7a9eda49.jpg) | Add to Reading ListSource URL: www.srl.inf.ethz.chLanguage: English - Date: 2016-01-17 05:48:35
|
---|
55![Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer, Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer,](https://www.pdfsearch.io/img/2430272a97abba4592dc8902f455e05d.jpg) | Add to Reading ListSource URL: hexhive.github.ioLanguage: English - Date: 2016-06-13 11:08:40
|
---|
56![Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz](https://www.pdfsearch.io/img/749753b7fa341a744dabfdd53e78d917.jpg) | Add to Reading ListSource URL: www.srl.inf.ethz.chLanguage: English - Date: 2015-09-07 10:07:51
|
---|
57![How is Dynamic Symbolic Execution Different from Manual Testing?
An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky
University of Texas at San Antonio How is Dynamic Symbolic Execution Different from Manual Testing?
An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky
University of Texas at San Antonio](https://www.pdfsearch.io/img/2d68b46b91b32e241f7e403364e5a9f9.jpg) | Add to Reading ListSource URL: issta2015.cs.uoregon.eduLanguage: English - Date: 2015-07-17 15:27:25
|
---|
58![Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution Xiangyang Jia (Wuhan University) Carlo Ghezzi (Politecnico di Milano) Shi Ying (Wuhan University) Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution Xiangyang Jia (Wuhan University) Carlo Ghezzi (Politecnico di Milano) Shi Ying (Wuhan University)](https://www.pdfsearch.io/img/2bcf1cfcf4f2cd33952d2873de227d51.jpg) | Add to Reading ListSource URL: issta2015.cs.uoregon.eduLanguage: English - Date: 2015-07-17 10:41:51
|
---|
59![Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden](https://www.pdfsearch.io/img/04474bcbe854cb5a5c9908bd92a8d50f.jpg) | Add to Reading ListSource URL: hexhive.github.ioLanguage: English - Date: 2016-06-13 11:08:40
|
---|
60![Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden](https://www.pdfsearch.io/img/97b35c9138b96199fcd3fdfe94173091.jpg) | Add to Reading ListSource URL: www.nebelwelt.netLanguage: English - Date: 2016-04-13 09:07:44
|
---|